regular languages closed under reversal